1. Arithmetic, Proof theory and computational complexity
المؤلف: edited by Peter Clote and Jan Krajicek
المکتبة: (طهران)
موضوع: ، Proof theory,، Computational complexity
رده :
QA
9
.
54
.
A75
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)